(* Returns llvalue associated with given name *)
val query : string -> Llvm.llvalue

(* Associate value with name, possibly shadowing earlier binding *)
val push : string -> Llvm.llvalue -> unit

(* Remove association, restoring earlier one *)
val pop : string -> unit